type foo = ([a]: any) => any
